منابع مشابه
Library and dissemination of health information
Purpose: The aim of this research is to determine the role of public and academic libraries in disseminating of health information and comparing of the two types of libraries with each other. Method: The research method is applied with descriptive-survey. The sample size was determined by using the Morgan table, 379 people. The questionnaires were distributed using Quotas sampling method. ...
متن کاملThe MeDoc Digital Library Project: Its Goals and Major Achievements
Project MeDoc has built the nucleus of a digital library for computer science literature, including multimedia offerings. The libary is operated as a network of distributed servers and is available for use by the German academic community. A set of tools has been developed to administer journals and books as copyrighted material and to give users a uniform access to the library itself, as well ...
متن کاملIdentify the components of appointing library managers
Purpose – Libraries as one of the most important scientific, educational, research, social and cultural centers have an effective role in the development of information, awareness and human knowledge that the realization of their goals requires specialized and experienced managers to increase the effectiveness and efficiency of libraries. Is. But the goals of libraries will not be possible with...
متن کاملExtracting Higher-Order Goals from the Mizar Mathematical Library
Certain constructs allowed in Mizar articles cannot be represented in first-order logic but can be represented in higher-order logic. We describe a way to obtain higher-order theorem proving problems from Mizar articles that make use of these constructs. In particular, higherorder logic is used to represent schemes, a global choice construct and set level binders. The higher-order automated the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries
سال: 1975
ISSN: 2150-6701,0010-0870
DOI: 10.5860/crl_36_01_27